Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Tue, 25 Aug 2026 07:29:15 +0000 (09:29 +0200)
committerEmilio Pozuelo Monfort <pochu@debian.org>
Tue, 25 Aug 2026 07:29:15 +0000 (09:29 +0200)
commit443f71c47d5f0f7a2551798c0d6b9606df8c9605
tree8fab46a249a683d07d159455f88a3b0da2e757e2
parentec67f2edb25adc52e67caac35027c85e8cb5a3cf
Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified

Forwarded: no

Gbp-Pq: Name reproducible-properties-timestamp.diff
src/java.base/share/classes/java/util/Properties.java